<html>
<body>
报告在其差异不允许的位置用作实参的类型变量（只要它们没有被标记为 <code>unchecked</code>）。 类型变量的方差可以是协变 (<code>out</code>)、逆变 (<code>in</code>) 或
不变（既不是 <code>out</code> 也不是 <code>in</code>）。
<p>以下规则用于检查特性和方法声明中使用的类型实参：</p>
<ul>
  <li><code>unchecked</code> 类型实参将被忽略。</li>
  <li>协变类型实参只能用于产生值的位置（例如，返回类型和块形参）。</li>
  <li>逆变类型实参只能用于使用实参的位置（例如，形参和块返回类型）。
  </li>
  <li>不变类型实参可以用于产生值和使用实参的位置。</li>
</ul>
<p>示例：</p>
<pre><code>class Example[in A, out B]
  # 'Example' 类的协变类型变量 'B' 用于逆变位置，…
  def call: (B) -> A
end</code></pre>
</body>
</html>
